Complexity of Equivalence Class and Boundary Value Testing Methods
نویسنده
چکیده
There are two groups of domain testing methods – equivalence class testing (ECT) methods and boundary value testing (BVT) methods reviewed in this paper. This paper surveys 17 domain testing methods applicable to domains of independent input parameters of a program. This survey describes the basic algorithms used by domain testing methods for test case generation. The paper focuses on the theoretical bounds of the size of test suites or the complexity of domain testing methods. This paper also includes a subsumption hierarchy that attempts to relate various coverage criteria associated with the identified domain testing methods.
منابع مشابه
Existence of positive solution to a class of boundary value problems of fractional differential equations
This paper is devoted to the study of establishing sufficient conditions for existence and uniqueness of positive solution to a class of non-linear problems of fractional differential equations. The boundary conditions involved Riemann-Liouville fractional order derivative and integral. Further, the non-linear function $f$ contain fractional order derivative which produce extra complexity. Than...
متن کاملSinc-Galerkin method for solving a class of nonlinear two-point boundary value problems
In this article, we develop the Sinc-Galerkin method based on double exponential transformation for solving a class of weakly singular nonlinear two-point boundary value problems with nonhomogeneous boundary conditions. Also several examples are solved to show the accuracy efficiency of the presented method. We compare the obtained numerical results with results of the other existing methods in...
متن کاملA novel technique for a class of singular boundary value problems
In this paper, Lagrange interpolation in Chebyshev-Gauss-Lobatto nodes is used to develop a procedure for finding discrete and continuous approximate solutions of a singular boundary value problem. At first, a continuous time optimization problem related to the original singular boundary value problem is proposed. Then, using the Chebyshev- Gauss-Lobatto nodes, we convert the continuous time op...
متن کاملExistence of three solutions for a class of fractional boundary value systems
In this paper, under appropriate oscillating behaviours of the nonlinear term, we prove some multiplicity results for a class of nonlinear fractional equations. These problems have a variational structure and we find three solutions for them by exploiting an abstract result for smooth functionals defined on a reflexive Banach space. To make the nonlinear methods work, some careful analysis of t...
متن کاملAugmented Lagrangian method for solving absolute value equation and its application in two-point boundary value problems
One of the most important topic that consider in recent years by researcher is absolute value equation (AVE). The absolute value equation seems to be a useful tool in optimization since it subsumes the linear complementarity problem and thus also linear programming and convex quadratic programming. This paper introduce a new method for solving absolute value equation. To do this, we transform a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010